type pthread_mutex_t = struct{
    [u8;40] __align = []
}